Oliver Strickson - A Functional Tour Of Automatic Differentiation - Lambda Days 2020